On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract)
نویسندگان
چکیده
This paper studies the linear fragment of the programing language for quantum computation with classical control described in [4]. We sketch the language, and discuss equivalence of terms. We also describe a fully abstract denotational semantics based on completely positive maps.
منابع مشابه
Call-by-value Games (extended Abstract)
A general construction of models of call-by-value from models of call-by-name computation is described. The construction relies on the fact that common denotational models of programming languages are also models of linear logic. When applied to categories of games, it yields fully abstract models of the call-by-value functional language PCFv and of a language with imperative features similar t...
متن کاملA universal realizability model for sequential functional computation
We construct a universal and even logically fully abstract realizability model for the sequential functional programming language of call-by-name FPC. This model is defined within the category of modest sets over the total combinatory algebra L of observational equivalence classes of closed terms of the untyped programming language λ+Error. This language is untyped lazy call-by-name lambda-calc...
متن کاملA Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)
We give a categorical semantics for a call-by-value linear lambda calculus. Such a lambda calculus was used by Selinger and Valiron as the backbone of a functional programming language for quantum computation. One feature of this lambda calculus is its linear type system, which includes a duplicability operator “!” as in linear logic. Another main feature is its call-by-value reduction strategy...
متن کاملLevel of Grammatical Proficiency and Acquisition of Functional Projections: The case of Iranian learners of English language
Unlike Lexical Projections, Functional Projections (Extended Projections) are more of an ‘abstract’ in nature. Therefore, Functional Projections seem to be acquired later than Lexical Projections by the L2 learners. The present study investigates Iranian L2 learners’ acquisition of English Extended Projections taking into account their level of grammatical proficiency. Specifically, the aim is ...
متن کاملSemantics for a Higher Order Functional Programming Language for Quantum Computation
The objective of this thesis is to develop a semantics for higher-order quantum information. Following the work done in the author’s M.Sc. thesis, we study a lambda calculus for quantum computation with classical control. The language features two important properties. The first one, arising from the so-called no-cloning theorem of quantum computation, is the need for a distinction between dupl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 210 شماره
صفحات -
تاریخ انتشار 2008